Fundamental Theorem of Galois Theory example